戸次 大介
著書
戸次 大介; "数理論理学"